negating the nested quantifiers

join shbcf.ru